- guarded command
- polecenie dozorowanezlecenie dozorowane
English-Polish dictionary of Electronics and Computer Science. 2013.
guarded command
Look at other dictionaries:
Guarded Command Language — The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics cite web | last=Dijkstra | first=Edsger W | authorlink=E. W. Dijkstra | url=http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF |… … Wikipedia
Strategic Air Command — For the film, see Strategic Air Command (film). Strategic Air Command Strategic Air Command emblem Active 1946 1992 … Wikipedia
RAF Coastal Command — Royal Air Force Coastal Command … Wikipedia
Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… … Wikipedia
Edsger W. Dijkstra — Edsger Wybe Dijkstra Born May 11, 1930(1930 05 11) Rotterdam, Netherl … Wikipedia
Quantum programming — is a set of computer programming languages that allow the expression of quantum algorithms using high level constructs. The point of quantum languages is not so much to provide a tool for programmers, but to provide tools for researchers to… … Wikipedia
Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… … Wikipedia
Lenguaje de Comandos Guardados — El Lenguaje de Comandos Guardados (GCL, Guarded Command Language), o de Órdenes Guardadas, es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una… … Wikipedia Español
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
GCL — can mean:* Galaxy Communications Ltd * Ganglion cell layer, a layer of the Retina * GNU Common Lisp * Golden Concorde Ltd., a renewable energy company in China. * Government Category List * Grand Companion of the Order of Logohu * Granule cell… … Wikipedia
GaCeLa — (Del ár. gazala.) ► sustantivo femenino ZOOLOGÍA Pequeño mamífero rumiante del grupo de los antílopes, muy estilizado y de cuello largo, pelo corto de color canela, orejas largas, muy veloz, que habita en las estepas africanas y asiáticas.… … Enciclopedia Universal
